home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL62.PRO < prev    next >
Text File  |  1986-10-07  |  460b  |  24 lines
  1. /* program 62 */
  2. /*
  3.   Read section in manual on page 149 for an
  4.   explanation of this program
  5. */
  6.  
  7. domains
  8.     tree =reference t(id,val,tree,tree)
  9.     id   = symbol
  10.     val  = integer
  11.  
  12. predicates
  13.     lookup(id,val,tree)
  14.  
  15. clauses
  16.     lookup(ID,VAL,t(ID,VAL,_,_)):- !.
  17.     lookup(ID,VAL,t(IDI,_,TREE,_)):-
  18.         ID<IDI,!,
  19.         lookup(ID,VAL,TREE).
  20.     lookup(ID,VAL,t(_,_,_,TREE)):-
  21.         lookup(ID,VAL,TREE).
  22.        
  23.        
  24.